declare
proc {SendMoreMoney ?Sol}
   S E N D M O R Y
in
   Sol=sol(s:S e:E n:N d:D m:M o:O r:R y:Y)  %1
   Sol:::0#9                                 %2
   {FD.distinct Sol}                         %3
   S\=:0                                     %4
   M\=:0
                1000*S + 100*E + 10*N + D    %5
   +            1000*M + 100*O + 10*R + E
   =: 10000*M + 1000*O + 100*N + 10*E + Y
   {FD.distribute ff Sol}                    %6
end
